Kontravalenz bezeichnet in der klassischen Logik und Mathematik die Verbindung zweier Aussagen durch den zweistelligen Junktor entweder – oder[1], der auch exklusives Oder oder Kontravalentor heißt. Bei der Kontravalenz muss genau eine der beiden Aussagen zutreffen, entweder die eine oder die andere; weder sind beide zugleich wahr noch beide zugleich falsch.
Synonym mit Kontravalenz werden auch die Bezeichnungen ausschließende Disjunktion (auch vollständige oder antivalente Disjunktion)[2], Bisubtraktion[3], ausschließendes Oder, Antivalenz, kontradiktorischer Gegensatz[4], Kontrajunktion oder Alternation[5] verwendet. In der Schaltalgebra spricht man von dem Exklusiv-Oder-Gatter (XOR-Gatter), in der Aussagenlogik nennt man sie XOR-Verknüpfung.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search